Nuprl Definition : frequency 11,40

frequency(f;x) ~ (p/q) == m, k:. j:. ((k < j) c |#{i<j|f i eq x}/j - p/q| < 1/m) 
latex



clarification:

frequency(eq;f;x;p;q) == m:, k:. j:. ((k < j) c |#{i<j|f i eq x}/j - p/q| < 1/m) 
latex


Definitionsx:A. B(x), x:A. B(x), , A c B, a < b, |a/b - p/q| < 1/m, #{i<j|f i eq x}
FDL editor aliasesfrequency

origin